first order predicate logic
一阶谓词逻辑
热门查询
- Hsia abbr. Halogenated Solvents Industry Alliance 卤化溶剂工业联盟
- door n. 门；家，户；门口；通道 n. (Door)人名；(英)多尔
- Deutschland n. （德）德国（等于Germany）
- pico n. (Pico)人名；(英、法)比科 pref. 表示“兆分之一”，“微小”
- KI abbr. Kind 种类; kinetic inhibition rate constants 动力抑制率常数
- stoned adj. 除去核的；有核的；醉酒的 v. 向…扔石头（stone的过去式和过去分词）
- reconversion n. 复原；恢复原状；再转变
- positive n. 正数；[摄] 正片 adj. 积极的；[数] 正的，[医][化学] 阳性的；确定的，肯定的；实际的，真实的；绝对的
- wrangler n. 争论者；口角者；牧人
- one-way adj. 单程的；单行道的；单方面的
- humanly adv. 以人力；像人地；在人力所能及的范围
- tightrope n. 拉紧的绳索
- Bayley [人名] [英格兰人姓氏] 贝利 Bailey的变体
- purposiveness n. 目的性
- commingling n. 混合；混杂 v. 合采；混入（commingle的ing形式）
- wise adj. 明智的；聪明的；博学的 vt. 使知道；教导 vi. 了解 n. (Wise)人名；(英)怀斯
- changing n. 改变；转换；替换 v. 改变（change的ing形式）；交换；兑换 adj. 变化的；发展的
- brutalized vt. 残酷地对待；使像野兽般残忍，使变得残酷无情 vi. 变粗暴；变残忍
- Glyn 格林（姓氏）
- kerala n. 喀拉拉邦（印度西南部）
考试词汇表
- standard-gage railway
- standard-pitch circle
- standard-run quantity
- standardization error
- standardization group
- standardization issue
- standardization pulse
- standardization sieve
- standardization trial
- standardized approach
- standardized building
- standardized contract
- standardized function
- standardized keyboard
- standardized products
- standardized protocol
- standardized residual
- standardized solution
- standardized training
- standardized variable
